Relational methods in computer science (8th International Seminar on Relational Methods in Computer Science)MacCaull, Wendy; Winter, Michael; Düntsch, Ivo et al.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-33339-8, 1Vol, VIII-262 p, isbn 3-540-33339-8Conference Proceedings

Theory and applications of relational structures as knowledge instruments II (international workshops of COST Action 274, TARSKI, 2002-2005)Lecture notes in computer science. 2006, issn 0302-9743, isbn 978-3-540-69223-2, 1Vol, X-371 p, isbn 978-3-540-69223-2Conference Proceedings

Duality theory for projective algebrasURQUHART, Alasdair.Lecture notes in computer science. 2006, pp 33-47, issn 0302-9743, isbn 3-540-33339-8, 1Vol, 15 p.Conference Paper

Relational representation theorems for lattices with negations : A surveyDZIK, Wojciech; ORLOWSKA, Ewa; VAN ALTEN, Clint et al.Lecture notes in computer science. 2006, pp 245-266, issn 0302-9743, isbn 978-3-540-69223-2, 1Vol, 22 p.Conference Paper

Weak relational productsWINTER, Michael.Lecture notes in computer science. 2006, pp 417-431, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 15 p.Conference Paper

Implementation of relational algebra using Binary Decision diagramsBERGHAMMER, Rudolf; LEONIUK, Barbara; MILANESE, Ulf et al.Lecture notes in computer science. 2002, pp 241-257, issn 0302-9743, isbn 3-540-00315-0, 17 p.Conference Paper

A framework for kleene algebra with an embedded structureFURUSAWA, Hitoshi.Lecture notes in computer science. 2006, pp 96-107, issn 0302-9743, isbn 3-540-33339-8, 1Vol, 12 p.Conference Paper

Finite symmetric integral relation algebras with no 3-cyclesMADDUX, Roger D.Lecture notes in computer science. 2006, pp 2-29, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 28 p.Conference Paper

The dominance relation on the class of continuous T-norms from an ordinal sum point of viewSAMINGER, Susanne; SARKOCI, Peter; DE BAETS, Bernard et al.Lecture notes in computer science. 2006, pp 334-354, issn 0302-9743, isbn 978-3-540-69223-2, 1Vol, 21 p.Conference Paper

Relations and Kleene algebra in computer science (9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006)Schmidt, Renate A.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-37873-1, 1Vol, XI-431 p, isbn 3-540-37873-1Conference Proceedings

Kleene algebra with relationsDESHARNAIS, Jules.Lecture notes in computer science. 2004, pp 8-20, issn 0302-9743, isbn 3-540-22145-X, 13 p.Conference Paper

RelMiCS 2001 : relational methods in computer science (Oisterwijk, 16-21 October 2001, revised papers)de Swart, Harrie C.M.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-00315-0, X, 313 p, isbn 3-540-00315-0Conference Proceedings

A relation-algebraic approach to graph structure transformationKAHL, Wolfram.Lecture notes in computer science. 2002, pp 1-14, issn 0302-9743, isbn 3-540-00315-0, 14 p.Conference Paper

Aggregation on bipolar scalesGRABISCH, Michel.Lecture notes in computer science. 2006, pp 355-371, issn 0302-9743, isbn 978-3-540-69223-2, 1Vol, 17 p.Conference Paper

Lattice-based relation algebras IIDÜNTSCH, Ivo; ORŁOWSKA, Ewa; RADZIKOWSKA, Anna Maria et al.Lecture notes in computer science. 2006, pp 267-289, issn 0302-9743, isbn 978-3-540-69223-2, 1Vol, 23 p.Conference Paper

Relational Reasoning for Recursive Types and ReferencesBOHR, Nina; BIRKEDAL, Lars.Lecture notes in computer science. 2006, pp 79-96, issn 0302-9743, isbn 3-540-48937-1, 1Vol, 18 p.Conference Paper

Relational semantics through dualityORLOWSKA, Ewa; REWITZKY, Ingrid; DÜNTSCH, Ivo et al.Lecture notes in computer science. 2006, pp 17-32, issn 0302-9743, isbn 3-540-33339-8, 1Vol, 16 p.Conference Paper

Topological representation of precontact algebrasDIRNOV, Georgi; VAKARELOV, Dimiter.Lecture notes in computer science. 2006, pp 1-16, issn 0302-9743, isbn 3-540-33339-8, 1Vol, 16 p.Conference Paper

Non-termination in unifying theories of programmingGUTTMANN, Walter.Lecture notes in computer science. 2006, pp 108-120, issn 0302-9743, isbn 3-540-33339-8, 1Vol, 13 p.Conference Paper

Relational representability for algebras of substructural logicsORŁOWSKA, Ewa; RADZIKOWSKA, Anna Maria.Lecture notes in computer science. 2006, pp 212-224, issn 0302-9743, isbn 3-540-33339-8, 1Vol, 13 p.Conference Paper

Groups in allegoriesKAWAHARA, Yasuo.Lecture notes in computer science. 2002, pp 88-103, issn 0302-9743, isbn 3-540-00315-0, 16 p.Conference Paper

Calculating a relational program for transitive reductions of strongly connected graphsBERGHAMMER, Rudolf; HOFFMANN, Thorsten.Lecture notes in computer science. 2002, pp 258-275, issn 0302-9743, isbn 3-540-00315-0, 18 p.Conference Paper

Bases de données relationnelles = Relational databasesCHRISMENT, Claude; LUGUET, Jacques; PUJOLLE, Geneviève et al.Techniques de l'ingénieur. Informatique. 1997, Vol HB1, Num H2038, pp H2038.1-H2038.14, issn 0245-9612Article

On the representation of kleene algebras with testsKOZEN, Dexter.Lecture notes in computer science. 2006, pp 73-83, issn 0302-9743, isbn 3-540-37791-3, 1Vol, 11 p.Conference Paper

Weak contact structuresDÜNTSCH, Ivo; WINTER, Michael.Lecture notes in computer science. 2006, pp 73-82, issn 0302-9743, isbn 3-540-33339-8, 1Vol, 10 p.Conference Paper